Modeling Interactive Scientific Visualization Applications with Strict Colored Fifo Nets

MODELING INTERACTIVE SCIENTIFIC VISUALIZATION APPLICATIONS WITH STRICT COLORED FIFO NETS Abderrahim Ait Wakrime, Sébastien Limet and Sophie Robert *1, 2, 3 University Orléans, INSA Centre Val de Loire, LIFO, EA 4022, F-45067, Orléans, France ABSTRACT Component-based approaches are becoming popular in recent years in the software development. The goal of these approaches is to build software systems by assembling heterogeneous and independent components. In life and material sciences, the interactive scientific visualization applications contain three main parts like: interaction, simulation and visualization. Our component-based approach ComSA is used to compose these different parts. It meets the constraints of visualization applications or of visual Analytics. It relies on new and effective means for building applications on parallel or/and distributed architecture. In this paper, we present a modeling of our component-based approach ComSA with a particular class of FIFO nets called strict Colored FIFO Nets (sCFN). This modeling is used to describe and analyze the different component behaviors and the various communication policies within the application. sCFNs are used to carry out simulations and to analyze properties like liveness to detect deadlocks.